[INFO] crate chalk-engine 0.65.0 is already in cache
[INFO] building chalk-engine-0.65.0 against master#881c1ac408d93bb7adaa3a51dabab9266e82eee8 for issue-85264
[INFO] extracting crate chalk-engine 0.65.0 into /workspace/builds/worker-3/source
[INFO] validating manifest of crates.io crate chalk-engine 0.65.0 on toolchain 881c1ac408d93bb7adaa3a51dabab9266e82eee8
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+881c1ac408d93bb7adaa3a51dabab9266e82eee8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate chalk-engine 0.65.0
[INFO] finished tweaking crates.io crate chalk-engine 0.65.0
[INFO] tweaked toml for crates.io crate chalk-engine 0.65.0 written to /workspace/builds/worker-3/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+881c1ac408d93bb7adaa3a51dabab9266e82eee8" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+881c1ac408d93bb7adaa3a51dabab9266e82eee8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+881c1ac408d93bb7adaa3a51dabab9266e82eee8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] a9206c1e61d4ac05d1a648feaabe328cb86ce9ea93a53bf83753bb1045409edb
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "a9206c1e61d4ac05d1a648feaabe328cb86ce9ea93a53bf83753bb1045409edb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a9206c1e61d4ac05d1a648feaabe328cb86ce9ea93a53bf83753bb1045409edb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a9206c1e61d4ac05d1a648feaabe328cb86ce9ea93a53bf83753bb1045409edb", kill_on_drop: false }`
[INFO] [stdout] a9206c1e61d4ac05d1a648feaabe328cb86ce9ea93a53bf83753bb1045409edb
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+881c1ac408d93bb7adaa3a51dabab9266e82eee8" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f22470f8f56597fa6f1341de93fa9444f154937ebd7f4e5c197cc3b4715f3652
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "f22470f8f56597fa6f1341de93fa9444f154937ebd7f4e5c197cc3b4715f3652", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling proc-macro2 v1.0.27
[INFO] [stderr]    Compiling unicode-xid v0.2.2
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling log v0.4.14
[INFO] [stderr]    Compiling libc v0.2.95
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]    Compiling regex-syntax v0.6.25
[INFO] [stderr]    Compiling serde_json v1.0.64
[INFO] [stderr]    Compiling bitflags v1.2.1
[INFO] [stderr]    Compiling once_cell v1.7.2
[INFO] [stderr]    Compiling itoa v0.4.7
[INFO] [stderr]    Compiling smallvec v1.6.1
[INFO] [stderr]    Compiling either v1.6.1
[INFO] [stderr]    Compiling termcolor v1.1.2
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling tracing-core v0.1.18
[INFO] [stderr]    Compiling sharded-slab v0.1.1
[INFO] [stderr]    Compiling thread_local v1.1.3
[INFO] [stderr]    Compiling itertools v0.10.0
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling num-integer v0.1.44
[INFO] [stderr]    Compiling indexmap v1.6.2
[INFO] [stderr]    Compiling tracing-serde v0.1.2
[INFO] [stderr]    Compiling tracing-log v0.1.2
[INFO] [stderr]    Compiling ena v0.14.0
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]    Compiling petgraph v0.5.1
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling syn v1.0.72
[INFO] [stderr]    Compiling chrono v0.4.19
[INFO] [stderr]    Compiling regex-automata v0.1.9
[INFO] [stderr]    Compiling regex v1.5.4
[INFO] [stderr]    Compiling matchers v0.0.1
[INFO] [stderr]    Compiling synstructure v0.12.4
[INFO] [stderr]    Compiling tracing-attributes v0.1.15
[INFO] [stderr]    Compiling chalk-derive v0.65.0
[INFO] [stderr]    Compiling chalk-ir v0.65.0
[INFO] [stderr]    Compiling tracing v0.1.26
[INFO] [stderr]    Compiling tracing-subscriber v0.2.18
[INFO] [stderr]    Compiling tracing-tree v0.1.9
[INFO] [stderr]    Compiling chalk-solve v0.65.0
[INFO] [stderr]    Compiling chalk-engine v0.65.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 30.58s
[INFO] running `Command { std: "docker" "inspect" "f22470f8f56597fa6f1341de93fa9444f154937ebd7f4e5c197cc3b4715f3652", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f22470f8f56597fa6f1341de93fa9444f154937ebd7f4e5c197cc3b4715f3652", kill_on_drop: false }`
[INFO] [stdout] f22470f8f56597fa6f1341de93fa9444f154937ebd7f4e5c197cc3b4715f3652
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+881c1ac408d93bb7adaa3a51dabab9266e82eee8" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 72073414ee25dda9e0f374602008657e009d8bd1507b7c728102dac249eb052d
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "72073414ee25dda9e0f374602008657e009d8bd1507b7c728102dac249eb052d", kill_on_drop: false }`
[INFO] [stderr]    Compiling chalk-engine v0.65.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `chalk_integration`
[INFO] [stdout]    --> src/normalize_deep.rs:112:9
[INFO] [stdout]     |
[INFO] [stdout] 112 |     use chalk_integration::interner::ChalkIr;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `chalk_integration`
[INFO] [stdout]    --> src/normalize_deep.rs:113:9
[INFO] [stdout]     |
[INFO] [stdout] 113 |     use chalk_integration::{arg, ty};
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `chalk_integration`
[INFO] [stdout]    --> src/slg/aggregate.rs:585:13
[INFO] [stdout]     |
[INFO] [stdout] 585 |         use chalk_integration::interner::ChalkIr;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `chalk_integration`
[INFO] [stdout]    --> src/slg/aggregate.rs:603:13
[INFO] [stdout]     |
[INFO] [stdout] 603 |         use chalk_integration::interner::ChalkIr;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `chalk_integration`
[INFO] [stdout]    --> src/slg/aggregate.rs:622:13
[INFO] [stdout]     |
[INFO] [stdout] 622 |         use chalk_integration::interner::ChalkIr;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `chalk_integration`
[INFO] [stdout]    --> src/slg/aggregate.rs:578:9
[INFO] [stdout]     |
[INFO] [stdout] 578 |     use chalk_integration::{arg, ty};
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/normalize_deep.rs:145:18
[INFO] [stdout]     |
[INFO] [stdout] 145 |                 &ty!(apply (item 0) (expr b)),
[INFO] [stdout]     |                  ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/normalize_deep.rs:156:13
[INFO] [stdout]     |
[INFO] [stdout] 156 |             ty!(apply (item 0) (expr DeepNormalizer::normalize_deep(&mut table, interner, b.clone()))),
[INFO] [stdout]     |             ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/normalize_deep.rs:165:18
[INFO] [stdout]     |
[INFO] [stdout] 165 |                 &ty!(apply (item 1)),
[INFO] [stdout]     |                  ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/normalize_deep.rs:170:13
[INFO] [stdout]     |
[INFO] [stdout] 170 |             ty!(apply (item 0) (apply (item 1)))
[INFO] [stdout]     |             ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/slg/aggregate.rs:594:14
[INFO] [stdout]     |
[INFO] [stdout] 594 |             &ty!(apply (item 0) (apply (item 1))),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/slg/aggregate.rs:595:14
[INFO] [stdout]     |
[INFO] [stdout] 595 |             &ty!(apply (item 0) (apply (item 2))),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/slg/aggregate.rs:597:20
[INFO] [stdout]     |
[INFO] [stdout] 597 |         assert_eq!(ty!(apply (item 0) (infer 0)), ty);
[INFO] [stdout]     |                    ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/slg/aggregate.rs:613:14
[INFO] [stdout]     |
[INFO] [stdout] 613 |             &ty!(apply (item 0) (apply (item 1))),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/slg/aggregate.rs:614:14
[INFO] [stdout]     |
[INFO] [stdout] 614 |             &ty!(apply (item 0) (apply (item 1))),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/slg/aggregate.rs:616:20
[INFO] [stdout]     |
[INFO] [stdout] 616 |         assert_eq!(ty!(apply (item 0) (apply (item 1))), ty);
[INFO] [stdout]     |                    ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/slg/aggregate.rs:635:14
[INFO] [stdout]     |
[INFO] [stdout] 635 |             &ty!(apply (item 0) (infer 0)),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/slg/aggregate.rs:636:14
[INFO] [stdout]     |
[INFO] [stdout] 636 |             &ty!(apply (item 0) (infer 1)),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/slg/aggregate.rs:640:20
[INFO] [stdout]     |
[INFO] [stdout] 640 |         assert_eq!(ty!(apply (item 0) (infer 0)), ty);
[INFO] [stdout]     |                    ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/normalize_deep.rs:121:30
[INFO] [stdout]     |
[INFO] [stdout] 121 |     impl UnificationDatabase<ChalkIr> for TestDatabase {
[INFO] [stdout]     |         -                    ^^^^^^^ not found in this scope
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/normalize_deep.rs:122:55
[INFO] [stdout]     |
[INFO] [stdout] 121 |     impl UnificationDatabase<ChalkIr> for TestDatabase {
[INFO] [stdout]     |         - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 122 |         fn fn_def_variance(&self, _fn_def_id: FnDefId<ChalkIr>) -> Variances<ChalkIr> {
[INFO] [stdout]     |                                                       ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/normalize_deep.rs:122:78
[INFO] [stdout]     |
[INFO] [stdout] 121 |     impl UnificationDatabase<ChalkIr> for TestDatabase {
[INFO] [stdout]     |         - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 122 |         fn fn_def_variance(&self, _fn_def_id: FnDefId<ChalkIr>) -> Variances<ChalkIr> {
[INFO] [stdout]     |                                                                              ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/normalize_deep.rs:123:35
[INFO] [stdout]     |
[INFO] [stdout] 123 |             Variances::from_iter(&ChalkIr, [Variance::Invariant; 20].iter().copied())
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/normalize_deep.rs:126:47
[INFO] [stdout]     |
[INFO] [stdout] 121 |     impl UnificationDatabase<ChalkIr> for TestDatabase {
[INFO] [stdout]     |         - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 126 |         fn adt_variance(&self, _adt_id: AdtId<ChalkIr>) -> Variances<ChalkIr> {
[INFO] [stdout]     |                                               ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/normalize_deep.rs:126:70
[INFO] [stdout]     |
[INFO] [stdout] 121 |     impl UnificationDatabase<ChalkIr> for TestDatabase {
[INFO] [stdout]     |         - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 126 |         fn adt_variance(&self, _adt_id: AdtId<ChalkIr>) -> Variances<ChalkIr> {
[INFO] [stdout]     |                                                                      ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/normalize_deep.rs:127:35
[INFO] [stdout]     |
[INFO] [stdout] 127 |             Variances::from_iter(&ChalkIr, [Variance::Invariant; 20].iter().copied())
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/normalize_deep.rs:133:25
[INFO] [stdout]     |
[INFO] [stdout] 133 |         let interner = &ChalkIr;
[INFO] [stdout]     |                         ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/normalize_deep.rs:134:39
[INFO] [stdout]     |
[INFO] [stdout] 132 |     fn infer() {
[INFO] [stdout]     |             - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 133 |         let interner = &ChalkIr;
[INFO] [stdout] 134 |         let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                       ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/slg/aggregate.rs:586:39
[INFO] [stdout]     |
[INFO] [stdout] 584 |     fn vec_i32_vs_vec_u32() {
[INFO] [stdout]     |                          - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 585 |         use chalk_integration::interner::ChalkIr;
[INFO] [stdout] 586 |         let mut infer: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                       ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/slg/aggregate.rs:590:24
[INFO] [stdout]     |
[INFO] [stdout] 590 |             interner: &ChalkIr,
[INFO] [stdout]     |                        ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/slg/aggregate.rs:604:25
[INFO] [stdout]     |
[INFO] [stdout] 604 |         let interner = &ChalkIr;
[INFO] [stdout]     |                         ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/slg/aggregate.rs:605:39
[INFO] [stdout]     |
[INFO] [stdout] 602 |     fn vec_i32_vs_vec_i32() {
[INFO] [stdout]     |                          - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 605 |         let mut infer: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                       ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/slg/aggregate.rs:623:25
[INFO] [stdout]     |
[INFO] [stdout] 623 |         let interner = &ChalkIr;
[INFO] [stdout]     |                         ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/slg/aggregate.rs:624:39
[INFO] [stdout]     |
[INFO] [stdout] 621 |     fn vec_x_vs_vec_y() {
[INFO] [stdout]     |                      - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 624 |         let mut infer: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                       ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 34 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0412, E0425, E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0412`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `chalk-engine`
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `Command { std: "docker" "inspect" "72073414ee25dda9e0f374602008657e009d8bd1507b7c728102dac249eb052d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "72073414ee25dda9e0f374602008657e009d8bd1507b7c728102dac249eb052d", kill_on_drop: false }`
[INFO] [stdout] 72073414ee25dda9e0f374602008657e009d8bd1507b7c728102dac249eb052d
